Formal Description Techniques - How Formal and Descriptive are they?
نویسنده
چکیده
I discuss formal description techniques (FDTs) as they are applied in practice in software and system engineering. Their quality can be measured by their formality, descriptiveness and technical usefulness. I discuss shortcomings in the scientific and semantic foundations of FDTs. I formulate requirements for FDTs. I demonstrate how a family of complementary description techniques can be developed on the basis of a mathematical system model that provides a scientific methodological foundation for the modular specification and development of systems. This demonstrates a proceeding in the design of FDTs that helps to make them formal, descriptive and technically useful. Keyword Formal description techniques, mathematical semantics, mathematical system model
منابع مشابه
آموزش فراگیر تربیتبدنی
The low of training for all disabled children assures the right of using free education for children with disabilities. A part of this low included the communication of disabled children with normal children in formal training classes, as well as formal physical education. A problem that all teachers of physical education encountered is the applying inclusive training in schools, ineffect...
متن کاملHow Does Explicit and Implicit Instruction of Formal Meta-discourse Markers Affect Learners’ Oral Proficiency?
Meta-discourse markers are an inevitable part of oral proficiency which improve both the quality and comprehension of learners’ speech. While studies of oral meta-discourse have been conducted since the 1980s in a European or US context, they have remained relatively untouched in Iran. Therefore, this study aimed to seek the impact of both explicit and implicit teaching of formal meta-discourse...
متن کاملمعرفی الگوهایی برای آموزش دانشگاهی نقد هنر تجسمی
Art criticism, defined as informed dialogue about the work of art, and an attempt to elucidate its meaning, is an activity based on principles, methodologies, procedures and theoretical frameworks which altogether make the practice of criticism possible. There are various, and mainly subjective, approaches to the art criticism practice. This variety makes it remarkably difficult to elicit and d...
متن کاملO-20: Commencing in Darkness: Narratives of Iranian Unconsummated Couples about Their Unmet Sexual Educations Needs
Background: The inability to have vaginal intercourse despite several attempts, defined as unconsummated marriage (UCM). It is a problematic worldwide sexual disorder. Lack of sexual knowledge has been shown affected UCM couples, so, we designed a qualitative narrative study to explain how a sample of Iranian unconsummated couples experienced sexuality when they were children and to explore wha...
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کامل